$\forall$$T$:Type, $P$:Top. ($\forall$$x$$\in$nil. $P$($x$)) $\Leftrightarrow$ True